Multi-dimensional logic programming: theoretical foundations
نویسندگان
چکیده
منابع مشابه
Multi-Dimensional Logic Programming: Theoretical Foundations
This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs ...
متن کاملMulti-dimensional Logic Programming
This paper introduces an extension of logic programming based on multi-dimensional logics. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the langu...
متن کاملMulti-dimensional Logic Programming
According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomies), strength of the updating instance (as in the legislative domain), hierarchical position of knowledge source (as in organizations), etc. The mutu...
متن کاملMj-prolog | 1. Proof Theoretical Foundations | 1 Foundations of Classical Logic Programming
In this article we give the proof theoretical foundations of an extension of Prolog, to be called mj-Prolog, for dealing with representations of recursive functions, as Pro-log deals with terms. In opposition to other related systems, mj-Prolog remains in the framework of rst order intuitionistic logic, recursive functions are determined and represented by equations that on one side have the us...
متن کاملTheoretical Foundations for Practical ‘Totally Functional Programming’
Interpretation is an implicit part of today’s programming; it has great power but is overused and has significant costs. For example, interpreters are typically significantly hard to understand and hard to reason about. The methodology of “Totally Functional Programming” (TFP) is a reasoned attempt to redress the problem of interpretation. It incorporates an awareness of the undesirability of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00048-0